Proceedings of the 23rd Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2008)ACM SIGPLAN notices. 2008, Vol 43, Num 10, issn 1523-2867, 638 p.Conference Proceedings

Deep Typechecking and RefactoringTATLOCK, Zachary; TUCKER, Chris; SHUFFELTON, David et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 37-51, issn 1523-2867, 15 p.Conference Paper

Multiple Dispatch in PracticeMUSCHEVICI, Radu; POTANIN, Alex; TEMPERO, Ewan et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 563-582, issn 1523-2867, 20 p.Conference Paper

Tolerating Memory LeaksBOND, Michael D; MCKINLEY, Kathryn S.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 109-125, issn 1523-2867, 17 p.Conference Paper

Caching and Incrementalisation in the Java Query LanguageWILLIS, Darren; PEARCE, David J; NOBLE, James et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 1-17, issn 1523-2867, 17 p.Conference Paper

Constrained Types for Object-Oriented LanguagesNYSTROM, Nathaniel; SARASWAT, Vijay; PALSBERG, Jens et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 457-474, issn 1523-2867, 18 p.Conference Paper

Dynamic Optimization for Efficient Strong AtomicitySCHNEIDER, Florian T; MENON, Vijay; SHPEISMAN, Tatiana et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 181-193, issn 1523-2867, 13 p.Conference Paper

Efficient Local type InferenceBELLAMY, Ben; AVGUSTINOV, Pavel; DE MOOR, Oege et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 475-491, issn 1523-2867, 17 p.Conference Paper

Enabling Static Analysis for Partial Java ProgramsDAGENAIS, Barthélémy; HENDREN, Laurie.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 313-328, issn 1523-2867, 16 p.Conference Paper

Mixing Source and Bytecode : A Case for Compilation by NormalizationKATS, Lennart C. L; BRAVENBOER, Martin; VISSER, Eelco et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 91-107, issn 1523-2867, 17 p.Conference Paper

The Impact of Static-Dynamic Coupling on RemodularizationCHEM, Rick; DE VOLDER, Kris.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 261-276, issn 1523-2867, 16 p.Conference Paper

Analysis and Reduction of Memory Inefficiencies in Java StringsKAWACHIYA, Kiyokuni; OGATA, Kazunori; ONODERA, Tamiya et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 385-401, issn 1523-2867, 17 p.Conference Paper

Enforcing Object Protocols by Combining Static and Runtime AnalysisGOPINATHAN, Madhu; RAJAMANI, Sriram K.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 245-260, issn 1523-2867, 16 p.Conference Paper

Interprocedural Query Extraction for Transparent PersistenceWIEDERMANN, Ben; IBRAHIM, Ali; COOK, William R et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 19-36, issn 1523-2867, 18 p.Conference Paper

JOLT : Lightweight Dynamic Analysis and Removal of Object ChurnSHANKAR, Ajeet; ARNOLD, Matthew; BODIK, Rastislav et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 127-141, issn 1523-2867, 15 p.Conference Paper

Efficient Software Model Checking of Soundness of Type SystemsROBERSON, Michael; HARRIES, Melanie; DARGA, Paul T et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 493-504, issn 1523-2867, 12 p.Conference Paper

JStar : Towards Practical Verification for JavaDISTEFANO, Dino; PARKINSON, Matthew J.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 213-226, issn 1523-2867, 14 p.Conference Paper

Join Patterns for Visual BasicRUSSO, Claudio V.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 53-72, issn 1523-2867, 20 p.Conference Paper

Design and Implementation of Transactional Constructs for C/C++YANG NI; WELC, Adam; PREIS, Serguei et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 195-211, issn 1523-2867, 17 p.Conference Paper

Java Performance Evaluation through Rigorous Replay CompilationGEORGES, Andy; EECKHOUT, Lieven; BUYTAERT, Dries et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 367-384, issn 1523-2867, 18 p.Conference Paper

Safer Unsafe Code for .NETFERRARA, Pietro; LOGOZZO, Francesco; FÄHNDRICH, Manuel et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 329-345, issn 1523-2867, 17 p.Conference Paper

Sound and Extensible Renaming for JavaSCHAFER, Max; EKMAN, Torbjom; DE MOOR, Oege et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 277-294, issn 1523-2867, 18 p.Conference Paper

A Theory of Aspects as Latent TopicsBALDI, Pierre F; LOPES, Cristina V; LINSTEAD, Erik J et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 543-562, issn 1523-2867, 20 p.Conference Paper

TYpestate-like Analysis of Multiple Interacting ObjectsNAEEM, Nomair A; LHOTAK, Ondrej.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 347-365, issn 1523-2867, 19 p.Conference Paper

Verifying Correct Usage of Atomic Blocks and lypestateBECKMAN, Nels E; BIERHOFF, Kevin; ALDRICH, Jonathan et al.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 227-244, issn 1523-2867, 18 p.Conference Paper